REF, NoConds
SplitOnHypITE $n  == (if ($n) =0 then SplitOnConclITE else SplitOnHypITE ($n)) 

latex

Up	Tactics as terms
FDL editor aliases	-split